Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
21	PDF Document Add to Reading List Source URL: www.generalsemantics.org Language: English - Date: 2011-04-30 13:38:39 Fuzzy logic Logic Academia Artificial intelligence Mathematical logic Logic in computer science Non-classical logic Fuzzy set Fuzzy concept Neuro-fuzzy Lotfi A. Zadeh Fuzzy control system
22	ALGORITHMS FOR SEMI-AUTOMATIC WEB SERVICE COMPOSITION: DATA MEDIATION AND SERVICE SUGGESTION by RUI WANG (Under the Direction of Eileen T. Kraemer and John A. Miller) ABSTRACT Add to Reading List Source URL: mango.ctegd.uga.edu Language: English - Date: 2013-11-20 03:56:57 Computing Web standards World Wide Web Web services Semantic Web Algorithm Mathematical logic Theoretical computer science Mediation Web Services Description Language SAWSDL Computational linguistics
23	CS364A: Algorithmic Game Theory Lecture #17: No-Regret Dynamics∗ Tim Roughgarden† November 18, 2013 This lecture continues to study the questions introduced last time. Do strategic players reach an equilibrium of a g Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2015-12-03 15:11:32 Mathematical logic Theoretical computer science Regret Mathematics Game theory Academia Applied mathematics Algorithms Swap regret
24	Duality formulas for robust pricing and hedging in discrete time∗ Patrick Cheridito† Michael Kupper Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2016-03-07 03:07:07 Mathematical analysis Distribution Functional analysis Linear temporal logic
25	Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009 Diss. ETH N0 18689 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-02-13 10:20:07 Logic Philosophy Abstraction Logic in computer science Proof theory Formal languages Syntax Formal methods Mathematical proof Mathematical logic Eiffel Formal proof
26	Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3 Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:19:29 Computer programming Software engineering Computing Theoretical computer science Programming idioms Algorithms Computability theory Mathematical logic Recursion Programming paradigm Subroutine Iteration
27	1 Convergence of Hypervolume-Based Archiving Algorithms Karl Bringmann and Tobias Friedrich Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:48:28 Algorithm Mathematical logic Theoretical computer science NC Mathematics Spectral theory Philosophy of mathematics Logic
28	Contents Part One xvii xix Conference Committee Add to Reading List Source URL: www.icdip.org Language: English - Date: 2016-06-21 06:36:16 Mathematical logic Mereology Ontology Predicate logic Wayne B. Nottingham Prize John K. Fairbank Prize
29	PML : A new proof assistant and deduction system Christophe Raffalli LAMA Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2007-07-02 08:10:34 Type theory Theoretical computer science Mathematical logic Programming language theory Lambda calculus Formal methods Logic in computer science CurryHoward correspondence HindleyMilner type system Simply typed lambda calculus Type system Proof assistant
30	Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Mathematics Logic Mathematical logic Algebraic structures Model theory Z notation Topology S Set theory Lattice Ring Axiom